XIDEAL Gröbner Bases for Exterior Algebra
نویسندگان
چکیده
The method of Gröbner bases in commutative polynomial rings introduced by Buchberger (e.g. [1]) is a well-known and very important tool in polynomial ideal theory, for example in solving the ideal membership problem. XIDEAL extends the method to exterior algebras using algorithms from [2] and [3]. There are two main departures from the commutative polynomial case. First, owing to the non-commutative product in exterior algebras, ideals
منابع مشابه
Xideal Grr Obner Bases for Exterior Algebra
1 Description The method of Grr obner bases in commutative polynomial rings introduced by Buchberger (e.g. 1]) is a well-known and very important tool in polynomial ideal theory, for example in solving the ideal membership problem. XIDEAL extends the method to exterior algebras using algorithms from 2]. There are two main departures from the commutative polynomial case. First, owing to the non-...
متن کاملGröbner and Diagonal Bases in Orlik-solomon Type Algebras
The Orlik-Solomon algebra of a matroid M is the quotient of the exterior algebra on the points by the ideal I(M) generated by the boundaries of the circuits of the matroid. There is an isomorphism between the OrlikSolomon algebra of a complex matroid and the cohomology of the complement of a complex arrangement of hyperplanes. In this article a generalization of the Orlik-Solomon algebras, call...
متن کاملLifting Gröbner Bases from the Exterior Algebra
In [3], the authors proved a number of results regarding Gröbner bases and initial ideals of those ideals J , in the free associative algebra K 〈X1, . . . , Xn〉, which contain the commutator ideal. We prove similar results for ideals which contains the anti-commutator ideal (the defining ideal of the exterior algebra). We define one notion of generic initial ideals in K 〈X1, . . . , Xn〉, and sh...
متن کاملGröbner-Shirshov bases for extensions of algebras
An algebra R is called an extension of the algebra M by B if M = 0, M is an ideal of R and R/M ∼= B as algebras. In this paper, by using the Gröbner-Shirshov bases, we characterize completely the extensions of M by B. An algorithm to find the conditions of an algebra A to be an extension of M by B is obtained.
متن کاملSome applications of Gröbner bases in homological algebra
In this paper we make some computations in homological algebra using Gröbner bases for modules over polynomials rings with coefficients in a Noetherian commutative ring. In particular, we show easy procedures for computing the Ext and Tor modules.
متن کامل